exec bootgen -arch zynq -image image.bif -w -o BOOT.BIN